2661. #Technical reference
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic digital computers-- Design and construction
رده :
#
TK
،#.
I574
،#
1983
2662. Technique de la Programmation
پدیدآورنده : / G. Hardouin- Mercier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
028
Ha-T
2663. Techniques de progrumation (Computer Programming techniques)
پدیدآورنده : / Theodore G. Scott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Sc-T
2664. Techniques in computer programming
پدیدآورنده : SHERMAN,PHILIP M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
S472
2665. Techniques of Program Structure and design
پدیدآورنده : / Edward Yourdon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Y81t
2666. Techniques of program structure and design
پدیدآورنده : Yourdon, Edward
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
Y68
2667. Teletraffic analysis and computer performance evaluation : proceedings of the international seminar, held at the Centre for Mathematics and Computer Science )CWI( June 2- 6, 1986, Amsterdam, the Netherlands
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Telecommunication- Traffic- Congresses,، Electronic digital computers- Evaluation- Congresses
2668. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
2669. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
2670. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2671. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
2672. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2673. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2674. The Application of digital computers to structural engineering problems
پدیدآورنده : / D. M. Brotton
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Structural analysis (engineering),Electronic data processing - Civil engineering,Electronic digital computers
رده :
TA645
.
B75
2675. The Architecture and engineering of digital computer complexes
پدیدآورنده : Beizer, Boris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
B37
2676. The art of digital design: an introduction to top-down design
پدیدآورنده : David E. Winkel, Franklin P. Prosser
موضوع : Electronic digital computers-- Design and Construction,Minicomputers-- Design and Construction
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
2677. The Boundary-Scan handbook
پدیدآورنده : by Kenneth P. Parker
موضوع : Printed circuits--Testing,Printed circuits--Testing--Standards,Electronic digital computers--Circuits - Design and construction
۵ نسخه از این کتاب در ۳ کتابخانه موجود است.
2678. The brains of men and machines
پدیدآورنده : Kent, Ernest. W.
موضوع : ، Brain,، Artificial intelligence,، Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2679. <The> Computer Chronicles
پدیدآورنده : H.D.Lechner
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Electronic Digital computers
